En mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d`un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de gr...